Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
نویسندگان
چکیده
Diese Arbeit stellt ein strukturiertes Verfahren zum Generieren von Testumgebungen aus textuellen Anforderungsbeschreibungen mittels UML und der Klassifikationsbaummethode für eingebettete Systeme vor. Nach der Umsetzung in eine textuelle Normalform werden die hieraus automatisch erzeugten UML-Klassen schrittweise in eine Form transformiert, die in erweiterte Klassifikationsbäume übersetzt wird und dann weiter automatisch in ausführbare SystemVerilog-Testumgebungen umgesetzt werden. Das Verfahren wird anhand des Beispiels einer Abstandsdistanzregelung (Adaptive Cruise Controller) eines Fahrzeugs erläutert und evaluiert.
منابع مشابه
Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
In diesem Beitrag wird eine Methode zur Generierung von Testfällen aus modellbasierten Verhaltensspezifikationen vorgestellt, wobei auch die Spezifikation von parallelem Verhalten unterstützt wird. Zur Realisierung werden etablierte Verfahren der Petri-Netz-Theorie und der constraintbasierten Programmierung benutzt. Auf der Grundlage eines entwickelten einfachen farbigen Petri-NetzModells (SPeN...
متن کاملStrukturierte Beobachtung als wissenschaftliche Methode zur Untersuchung musikalischer Mensch-Computer-Interaktion
Human-Computer Interaction und Musical Human-Computer Interaction werden unterschieden. Musical Human-Computer Interaction zeichnet sich, wie die Artistic Human-Computer Interaction, durch die Untersuchung der Interaktion von Menschen und digitalen Systemen im Kontext künstlerischer Tätigkeiten, sowie im Bereich von Unterhaltung, aus. In diesem Artikel berichten wir über erste Überlegungen zur ...
متن کاملAnwendungsfallbasierte Testfallherstellung mit der UCV-Methode
Zusammenfassung. In diesem Beitrag wird ein Überblick über die UCV-Methode, ein modellbasiertes Vorgehen zur Testfallerzeugung aus textuellen Anwendungsfallbeschreibungen, gegeben. In dem zweiphasigen Verfahren werden in der ersten Phase die Anwendungsfallbeschreibungen interaktiv aufbereitet und in eine Instanz des UCVAnwendungsfallmetamodells überführt. In der zweiten Phase werden aus diesem ...
متن کاملModel-to-Code-Transformation mit der Model to Text Transformation Language
Die Model-to-Text Transformation Language ist eine Sprache der Object Management Group zur Transformation von formalen Modellen zu Text bzw. Code. Dieser Beitrag stellt beispielhaft die Code-Generierung auf der Basis eines UML-Klassenmodells vor, wobei einige der Sprach-Features in Verbindung mit OCL zum Einsatz kommen. Auch einige Hinweise zur praktischen Anwendung seien gegeben. 1 Model-to-Te...
متن کاملOntologiebasierte Integration von Informations- und unternehmensweitem Risikomanagement Motivation, Grundlagen, Vorgehen und erste Ergebnisse
Das unternehmensweite Risikomanagement ist ein komplexer Aufgabenbereich, der in Unternehmen vielfach auf verschiedene Schultern verteilt ist. Aus dieser Aufgabenteilung erwächst die Herausforderung, die vorhandenen Risikoinformationen zu einem zutreffenden Bild der Gesamtrisikosituation zu integrieren. Ein geeignetes Hilfsmittel stellen Ontologien dar. Wie festzustellen ist, mangelt es aber an...
متن کامل